//
// Created by zing on 5/17/2020.
//

#include <stdio.h>

int main(__attribute__((unused)) int argc, __attribute__((unused)) char *argv[]) {
    printf("Hello World!");
    return 0;
}
